#!/bin/sh
printf 'argc=%s\n' "$#"
if [ "$#" -gt 0 ]; then
	printf '<%s>\n' "$@"
fi
